/*
 * keyboard.h
 *
 *  Created on: Mar 11, 2012
 *      Author: User
 */

#ifndef KEYBOARD_H_
#define KEYBOARD_H_

#include "queue.h"
#include "pcb.h"
#include "io_auxillary.h"

void run_keyboard(void* ptr);

#endif /* KEYBOARD_H_ */
